double braids)